int problem_12();
